#restricciones pseudo-booleanas

Estudio de Búsqueda Local Continua Paralela para SAT

Descubre cómo la búsqueda local continua paralela optimiza SAT. Restricciones redundantes inhiben convergencia; útil como subsolver.